<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3c.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'><html xmlns='http://www.w3.org/1999/xhtml' xml:lang='en'><head><meta http-equiv='content-type' content='text/html; charset=UTF-8'><link rel='stylesheet' type='text/css' href='style.css' media='screen'><title>Authomata</title><body><br><p>Type:AutomataFD</p><br><p>Alphabet</p><ul><li>a</li><li>b</li></ul><br><p>States</p><ul><li>S1</li><li>S2</li><li>S3</li><li>S4</li></ul><br><p>Initial State:S1</p><br><p>Final States</p><ul><li>S4</li></ul><br><h2>Authomata</h2><table border='1'><tr><th>_</th><th>a</th><th>b</th></tr><tr><td>S1</td><td>[S2]</td><td>[S3]</td></tr><tr><td>S2</td><td>[S4]</td><td>[S1]</td></tr><tr><td>S3</td><td>[S4]</td><td>[S1]</td></tr><tr><td>S4</td><td>[S4]</td><td>[null]</td></tr></table></BODY></HTML>